tions
    (I've torked it royally).
I'll be in as early as possible.  My changes are marked "*** MJC".
					
					Mike

20-APR-73  0142		206,MJC
MORE INFORMATION ON THE BUG, BELOW:  IT HAPPENED TWICE, RIGHT AFTER
CLAUSE 101 WAS GENERATED.  THE FILE WITH THE AXIOM IS ROYL2[G,JJM] AND
THE SIMPLIFICATION LIST AT SROY.  THE STRATEGIES ARE LISTED AT
N1ROYL.PRF.  CHEERS!

19-APR-73  2240		G,JJM
YOU MIGHT LOOK AT ILSP.LOG[1,LMM] WHICH I FTP'ED FROM 
CMUA'S ILSP.LOG[C410MR05].   A LIST OF BUGS THAT THEY
HAVE FOUND IN ILSP....   THE PERSON THERE TO TALK TO 
IS CALLED C410MR05 (E.G. "MAIL C410MR05").

19-APR-73  2237		1,LMM
THERE IS A NON-PROOF IN N1ROYL.PRF[G,JJM], THE SIMPLIFICATION
LIST IS AT SROY.  WHAT THE HELL DID YOU DO?
   RESPECTFULLY,  JORGE

19-APR-73  2145		APG,DCL


TYPE "Y" TO DELETE THIS MESSAGE NOW: ↑C
↑C

.R PPSAV